Comparison of PBO solvers in a dependency solving domain
نویسنده
چکیده
Linux package managers have to deal with dependencies and conflicts of packages required to be installed by the user. As an NP-complete problem, this is a hard task to solve. In this context, several approaches have been pursued. Apt-pbo is a package manager based on the apt project that encodes the dependency solving problem as a pseudo-Boolean optimization (PBO) problem. This paper compares different PBO solvers and their effectiveness on solving the dependency solving problem.
منابع مشابه
Different solving strategies on PBO Problems from automotive industry
SAT solvers have proved to be very efficient in verifying the correctness of automotive product documentations. However, in many applications a car configuration has to be optimized with respect to a given objective function prioritizing the selectable product components. Typical applications include the generation of predictive configurations for production planning and the reconfiguration of ...
متن کاملA Comparison of the Metacognitive Knowledge of Weak and Strong Students in Problem Solving
This study sought to compare the metacognitive knowledge profile of weak and strong students in problem solving. For achieving this purpose, one hundred students of the second educational District of Tehran were chosen by cluster sampling. They responded individually to the questions of "the Metacognitive Questionnaire Interview" and in the next step their performance in the pendulum problem so...
متن کاملEfficient Haplotype Inference with Pseudo-boolean Optimization
Haplotype inference from genotype data is a key computational problem in bioinformatics, since retrieving directly haplotype information from DNA samples is not feasible using existing technology. One of the methods for solving this problem uses the pure parsimony criterion, an approach known as Haplotype Inference by Pure Parsimony (HIPP). Initial work in this area was based on a number of dif...
متن کاملGeneric ILP vs Specialized 0-1 ILP for Haplotype Inference
Haplotype inference is an important and computationally challenging problem in genetics. A well-known approach to haplotype inference is pure parsimony (HIPP). Despite being based on a simple optimization criterion, HIPP is a computationally hard problem. Recent work has shown that approaches based on Boolean satisfiability namely pseudo-Boolean optimization (PBO), are very effective at tacklin...
متن کاملApplication of Intelligent Water Drops in Transient Analysis of Single Conductor Overhead Lines Terminated to Grid-Grounded Arrester under Direct Lightning Strikes
In this paper, Intelligent water drop algorithm (IWD) is used to analyze single overhead line connected to grid-grounded arrester. In this approach, at first Norton’s equivalent circuit of the overhead line over lossy soil is computed by method of moments (MoM) and then for the problem under consideration, a nonlinear equivalent circuit in the frequency domain is proposed. Finally applying inte...
متن کامل